NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems

In the field of Automated Planning there is often the need for a set of planning problems from a particular domain, e.g., to be used as training data for Machine Learning or as benchmarks in planning competitions. In most cases, these problems are created either by hand or by a domain-specific generator, putting a burden on the human designers. In this paper we propose NeSIG, to the best of our knowledge the first domain-independent method for automatically generating planning problems that are valid, diverse and difficult to solve. We formulate problem generation as a Markov Decision Process and train two generative policies with Deep Reinforcement Learning to generate problems with the desired properties. We conduct experiments on several classical domains, comparing our method with handcrafted domain-specific generators that generate valid and diverse problems but do not optimize difficulty. The results show NeSIG is able to automatically generate valid problems of greater difficulty than the competitor approaches, while maintaining good diversity

A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making

The field of Sequential Decision Making (SDM) provides tools for solving Sequential Decision Processes (SDPs), where an agent must make a series of decisions in order to complete a task or achieve a goal. Historically, two competing SDM paradigms have view for supremacy. Automated Planning (AP) proposes to solve SDPs by performing a reasoning process over a model of the world, often represented symbolically. Conversely, Reinforcement Learning (RL) proposes to learn the solution of the SDP from data, without a world model, and represent the learned knowledge subsymbolically. In the spirit of reconciliation, we provide a review of symbolic, subsymbolic and hybrid methods for SDM. We cover both methods for solving SDPs (e.g., AP, RL and techniques that learn to plan) and for learning aspects of their structure (e.g., world models, state invariants and landmarks). To the best of our knowledge, no other review in the field provides the same scope. As an additional contribution, we discuss what properties an ideal method for SDM should exhibit and argue that neurosymbolic AI is the current approach which most closely resembles this ideal method. Finally, we outline several proposals to advance the field of SDM via the integration of symbolic and subsymbolic AI

Personalized conciliation of clinical guidelines for comorbid patients through multi-agent planning

[EN] The conciliation of multiple single-disease guidelines for comorbid patients entails solving potential clinical interactions, discovering synergies in the diagnosis and the recommendations, and managing clinical equipoise situations. Personalized conciliation of multiple guidelines considering additionally patient preferences brings some further difficulties. Recently, several works have explored distinct techniques to come up with an automated process for the conciliation of clinical guidelines for comorbid patients but very little attention has been put in integrating the patient preferences into this process. In this work, a Multi-Agent Planning (MAP) framework that extends previous work on single-disease temporal Hierarchical Task Networks (HTN) is proposed for the automated conciliation of clinical guidelines with patient-centered preferences. Each agent encapsulates a single-disease Computer Interpretable Guideline (CIG) formalized as an HTN domain and conciliates the decision procedures that encode the clinical recommendations of its CIG with the decision procedures of the other agents' CIGs. During conciliation, drug-related interactions, scheduling constraints as well as redundant actions and multiple support interactions are solved by an automated planning process. Moreover, the simultaneous application of the patient preferences in multiple diseases may potentially bring about contradictory clinical decisions and more interactions. As a final step, the most adequate personalized treatment plan according to the patient preferences is selected by a Multi-Criteria Decision Making (MCDM) process. The MAP approach is tested on a case study that builds upon a simplified representation of two real clinical guidelines for Diabetes Mellitus and Arterial Hypertension.This work has been partially supported by Spanish Government Projects MINECO TIN2014-55637-C2-2-R and TIN2015-71618-R.Fernández-Olivares, J.; Onaindia De La Rivaherrera, E.; Castillo Vidal, L.; Jordán, J.; Cózar, J. (2019). Personalized conciliation of clinical guidelines for comorbid patients through multi-agent planning. Artificial Intelligence in Medicine. 96:167-186. https://doi.org/10.1016/j.artmed.2018.11.003S1671869

Una inscripción de época republicana dedicada a Salaecus en la región minera de Carthago Nova

In this paper we study an unpublished votive inscription from Mina Mercurio (in Portman, Cartagena), exhibited at the Aguilas Archaeological Museum. It is dedicated by freedmen from the gens Roscia, a well-known family of negotiators who used to sign the argentiferous galena ingot hallmark found in Cabezo Rajao in La Unión around 1846. It is one of the oldest inscriptions found in the area of Carthago Noua, and thus, in the whole Hispania. It is dated at the end of the 2nd century or very beginning of the 1st century b.c., especially with the use of an archaic plural nominative in -es. It is dedicated to Salaecus, a vocative etymologically related to water and the sea. For this reason and because of the place where it was found, it might refer to the Roman god Neptune or to a Hispanic deity related to water.Estudiamos una inscripción votiva inédita procedente de Mina Mercurio (Portmán, Cartagena), depositada en el Museo Arqueológico de Águilas. La dedican unos libertos de la gens Roscia, conocida familia de negotiatores que firmaban los sellos de lingotes de galena argentífera que aparecieron en el Cabezo Rajao de La Unión, en torno a 1846. Se trata de una de las inscripciones más antiguas de la zona de Carthago Noua. Se fecha a finales del siglo II o principios del siglo I a. C., fundamentalmente a partir de la utilización de un nominativo plural arcaico en -es. Está dedicada a Salaecus, un apelativo que se relaciona etimológicamente con las aguas y con el mar. Por ello y por el lugar donde apareció, formulamos la hipótesis de que haría alusión al dios romano Neptuno o a una deidad hispánica relacionada con el agua

Estado de la Ciberseguridad en los medios CIS Tácticos de una BOP

Gracias a los avances tecnológicos actuales, la ciberseguridad es un pilar fundamental en cualquier ámbito de la sociedad. Evitar intrusiones o pérdida de información en los sistemas de información es uno de los objetivos principales de cualquier empresa u organización que se precie. También lo es, por tanto, en las Fuerzas Armadas debido a la gran cantidad de información sensible con la que se trabaja. A partir de este objetivo nace este trabajo, que pretende definir las posibles vulnerabilidades del sistema de información más susceptible de ser dañado del Ejército de Tierra (en adelante ET), que es SIMACET, así como proponer soluciones. Con este objetivo, la metodología utilizada es la siguiente: En un primer lugar se analiza el estado del arte del citado sistema para conocer las actuales vulnerabilidades por medio de entrevistas a personal cualificado de la Compañía de Transmisiones de la Bandera de Cuartel General de la Brigada II de La Legión “Rey Alfonso XIII” y con la búsqueda y posterior filtrado de información proporcionada por ese mismo personal. Más tarde, se utiliza el método científico Delphi distribuyendo dos encuestas a diferente personal del acuartelamiento involucrado en los sistemas. Estas encuestas se entregarán en dos momentos diferentes y servirán para obtener información esencialmente cualitativa y precisa acerca del actual uso y futuro de estos sistemas. Por último, se realiza una práctica en un laboratorio simulando este sistema y monitorizando a tiempo real ciertas amenazas que pueda sufrir con el fin de observar la respuesta dada ante estas situaciones, buscando posibles soluciones de mejora.<br /

Desarrollo de ladrillos mejorados (LM) y uso de nuevas tecnologías en la fabricación de ladrillos ecológicos (LE)

Brick is a material that has been widely used in construction sector, however, it has not received the necessary attention in order to improve its performance, which has resulted a general lack of knowledge about its manufacturing processes such as: clay mines over-exploitation, ignorance of mixtures dosages and greenhouse gas emissions from wood burning. This research therefore aims to find a suitable mixture to produce improved bricks (LM) by analysing its mechanical properties compared with handmade bricks (LPA). Besides, this research work uses the “geo-polymerization” process for the preparation of ecological bricks (LE) at slightly high temperatures which gives a significant environmental benefit. In order to achieve the objectives, firstly, samples were characterized from mines by physical, chemical and mineralogical tests and then, it was determined the optimal mixture for LM and LE elaboration by evaluating its optimal factor (OF) according to the diametric compression test. In order to perform this test, specimens of different combination of materials and processes were elaborated. Once optimal mixtures were obtained, bricks were produced to measure their mechanical resistance by the performance of simple mechanical compression test. Results show that LM resistance is increased by 400% over handmade bricks from the study area. Moreover, the use of waste from mines as raw material for the elaboration of LE shows that their resistance value exceeds 150% of stablished in regulationsEl ladrillo es un material ampliamente utilizado en la construcción, sin embargo no ha recibido la atención necesaria para mejorar su desempeño. Ocasionando una falta de conocimiento en sus procesos de fabricación como: sobreexplotación de las minas de arcilla, desconocimiento en las dosificaciones de las mezclas y emisión de gases de efecto invernadero producto de la quema de leña. Esta investigación pretende encontrar una mezcla adecuada para producir ladrillos mejorados (LM) mediante el análisis de sus propiedades mecánicas en comparación con ladrillos producidos artesanalmente (LPA). Además la utilización del proceso de geopolimerización para la elaboración de un ladrillo ecológico (LE) a temperaturas ligeramente elevadas lo que otorga un beneficio medioambiental significativo. Para lograr los objetivos, primero se caracterizó muestras provenientes de minas mediante ensayos físicos, químicos y mineralógicos, posteriormente se determinó la mezcla óptima de los LM y LE evaluando el factor de optimización (FO) con la aplicación del ensayo de comprensión diametral. Para esto se elaboraron discos con diferentes combinaciones de materiales y procesos. Una vez encontradas las mezclas óptimas se fabricaron ladrillos para medir la resistencia mecánica mediante el ensayo de compresión simple. Los resultados indican que los LM aumentan su resistencia de 400% respecto a los ladrillos artesanales a la zona de estudio (LPR). Por otra parte usando residuos mineros como materia prima para la elaboración de LE, muestran que su resistencia sobrepasa los valores de la normativa con 150%

Herramientas de gamificación para la enseñanza de técnicas de búsqueda heurística en entornos dinámicos

La Búsqueda Heurística (BH) es uno de los campos clásicos y más estudiados de la Inteligencia Artificial, y una rama troncal de los estudios de Ingeniería Informática. BH consiste en encontrar la ruta óptima hacia un estado objetivo, dadas unas condiciones iniciales, y usando una función heurística que guía dicha búsqueda a través del espacio de posibles estados. Usualmente, este es un problema computacionalmente duro de resolver y, por tanto, de gran interés tanto para estudios académicos como industriales. En este trabajo, se describe una metodología para el aprendizaje de búsqueda heurística basada en gamificación. En concreto, esta estrategia usa el entorno de desarrollo de controladores de videojuegos GVG-AI, y ha sido aplicada en los estudios de Grado de Ingeniería Informática de la Universidad de Granada durante los cursos 2018-19, 2019-20 y 2020-21. Esta metodología, basada en el trabajo individual y el aprendizaje a través del juego, ha permitido adaptar la docencia de esta materia a la modalidad virtual sin apenas cambios en la organización docente. Además no se observan diferencias significativas en las calificaciones de ambas modalidades docentes, sugiriendo la robustez de la metodología propuesta en escenarios extraordinarios de docencia virtual.Heuristic Search (HS) is one of the classical and most studied fields in Artificial Intelligence, and a core subject of the degree in Computer Science. HS consists of finding the optimal path to a target state, given some initial conditions, and using a heuristic function that guides the search trough the space of possible states. Usually, this is a computationally hard problem, and thus of great interest for both academical and industrial purposes. In this work, it is described a new methodology to learn heuristic search based on gamification. In particular, this strategy uses GVG-AI, a video games controller development framework, and it has been applied in the degrees of Computer Science of the University of Granada (Spain) during the years 2018-19, 2019-20, and 2020-21. This methodology, based on the individual work and the learning through the game, has allowed to adapt the teaching of this subject to online courses with minimal changes in the teaching organization. Moreover, there is no significant differences in the grades of both teaching methods, suggesting the robustness of the proposed methodology in extraordinary scenarios of online teaching

Predicciones en Procesos de Negocio Declarativos

La generación de predicciones sobre instancias de procesos de negocio permite anticipar problemas, evitar el incumplimiento de restricciones de una manera proactiva, y tomar decisiones sobre prioridades y restricciones al enfrentarse a eventos inesperados, e.g., retrasos. Sin embargo, elaborar una predicción es una tarea compleja en la mayoría de los casos ya que se deben tener en cuenta múltiples instancias y recursos, es necesario adaptar dichas predicciones a circunstancias cambiantes, y hay que tener en cuenta distintas dimensiones, no sólo el tiempo. En este contexto, el presente trabajo propone una propuesta novedosa para generar predicciones sobre un conjunto de instancias en ejecución relacionadas con un modelo declarativo de un proceso de negocio. Dicha propuesta consiste en generar un plan de ejecución optimizado a partir del modelo declarativo y del estado de las instancias en ejecución. Tras ello, la predicción se genera evaluando la función que se desea predecir sobre el plan de ejecución generado. La presente propuesta ha sido evaluada utilizando un modelo de proceso de un escenario real que incluye restricciones temporales, de datos, de recursos y de control-flow que lo dotan de una alta complejidad. Los prometedores resultados obtenidos alientan a continuar los trabajos en escenarios con características diferentes que permitan extender la validez de la propuesta.Ministerio de Economía y Competitividad TIN2016-76956-C3-2-RMinisterio de Economía y Competitividad TIN2015-71938-RED

Type 2 Diabetes-Related Variants Influence the Risk of Developing Prostate Cancer:A Population-Based Case-Control Study and Meta-Analysis

In this study, we have evaluated whether 57 genome-wide association studies (GWAS)-identified common variants for type 2 diabetes (T2D) influence the risk of developing prostate cancer (PCa) in a population of 304 Caucasian PCa patients and 686 controls. The association of selected single nucleotide polymorphisms (SNPs) with the risk of PCa was validated through meta-analysis of our data with those from the UKBiobank and FinnGen cohorts, but also previously published genetic studies. We also evaluated whether T2D SNPs associated with PCa risk could influence host immune responses by analysing their correlation with absolute numbers of 91 blood-derived cell populations and circulating levels of 103 immunological proteins and 7 steroid hormones. We also investigated the correlation of the most interesting SNPs with cytokine levels after in vitro stimulation of whole blood, peripheral mononuclear cells (PBMCs), and monocyte-derived macrophages with LPS, PHA, Pam3Cys, and Staphylococcus Aureus. The meta-analysis of our data with those from six large cohorts confirmed that each copy of the FTOrs9939609A, HNF1Brs7501939T, HNF1Brs757210T, HNF1Brs4430796G, and JAZF1rs10486567A alleles significantly decreased risk of developing PCa (p = 3.70 × 10−5, p = 9.39 × 10−54, p = 5.04 × 10−54, p = 1.19 × 10−71, and p = 1.66 × 10−18, respectively). Although it was not statistically significant after correction for multiple testing, we also found that the NOTCH2rs10923931T and RBMS1rs7593730 SNPs associated with the risk of developing PCa (p = 8.49 × 10−4 and 0.004). Interestingly, we found that the protective effect attributed to the HFN1B locus could be mediated by the SULT1A1 protein (p = 0.00030), an arylsulfotransferase that catalyzes the sulfate conjugation of many hormones, neurotransmitters, drugs, and xenobiotic com-pounds. In addition to these results, eQTL analysis revealed that the HNF1Brs7501939, HNF1Brs757210, HNF1Brs4430796, NOTCH2rs10923931, and RBMS1rs7593730 SNPs influence the risk of PCa through the modulation of mRNA levels of their respective genes in whole blood and/or liver. These results confirm that functional TD2-related variants influence the risk of developing PCa, but also highlight the need of additional experiments to validate our functional results in a tumoral tissue context

Púrpura de Schönlein-Henoch fulminante

A female patient of 51 years old with personal pathological precedent of bronchial asthma, hypertension and ulcerative colitis and infection by chikungunya virus for a month. She incomes with dark pasty diarrhea with mucus and blood, she evolved unfavorably with flaccid paraplegia and recticularis livedo, which became extensive purple; then phlyctena and generalized edema. She remained hypotensive with electrolyte imbalance and impairment of consciousness, complementaries were performed, she was transfused and underwent to hemodialysis; she evolved to coma and death. The pathological findings showed an adult, fulminant and deadly form of anaphylactoid purpura or Henoch-Schönlein. Mesangial proliferation with fushinofílicos mesangial deposits werefound corresponding to immunoglobulin A with immunofluorescence, leukocytoclastic vasculitis and necrotizing vasculitis of small vessels. Purple of Schönlein-Henoch is a peculiar form of vasculitis that tends to spontaneous healing and occasionally may have a fatal course or proceed to a chronic nephritis.Se trata de paciente femenina de 51 años, con antecedentes patológicos personales de asma bronquial, hipertensión arterial y colitis ulcerativa e infección por el virus de la chikungunya desde hacía un mes. Ingresó con diarreas pastosas oscuras con moco y sangre, evolucionó desfavorablemente con paraplejia flácida y livedo reticularis, que se transformó en púrpura extensa; posteriormente flictenas y edema generalizado. Se mantuvo hipotensa con desequilibrio hidroelectrolítico y deterioro del estado de conciencia, se le realizaron complementarios, fue transfundida y se le realizó hemodiálisis; evolucionó al coma y a la muerte. Los hallazgos anatomopatológicos mostraron una forma adulta, fulminante y mortal de púrpura anafilactoide o de Schönlein-Henoch. Se encontró proliferación mesangial con depósitos mesangiales fushinofílicos correspondientes a inmunoglobulina A con inmunofluorescencia, vasculitis leucocitoclástica y vasculitis necrotizante de pequeños vasos. La púrpura de Schönlein-Henoch es una forma peculiar de vasculitis que tiende a la curación espontánea y, ocasionalmente, puede tener un curso mortal o proseguir hacia una nefritis crónica